@incollection(
KMM,Author="Kanellakis, P.C. and 
		Mairson, H.G. and Mitchell, J.C.",
	Title="Unification and {ML} type reconstruction",
	Booktitle="Computational Logic, Essays in Honor
	of {Alan Robinson}",
	Year="1991", pages="444--478",
	publisher="MIT Press",
	editors="J.-L. Lassex and G.D. Plotkin")

	@inProceedings(
KanMitch,Author="Kanellakis, P.C. and Mitchell, J.C.",
	Title="Polymorphic unification and {ML} typing",
	Booktitle="16th ACM Symposium on 
	Principles of Programming Languages",
	Year="1989", pages="105-115")